Skip to content

Conversation

GuillaumeGomez
Copy link
Member

Reopening of rust-lang/rust#143512.

You can see the explanations for each lints fixed in the original PR.

@GuillaumeGomez GuillaumeGomez changed the title Fix shellcheck lint errors Fix (some) shellcheck lint errors Jul 6, 2025
@GuillaumeGomez
Copy link
Member Author

I'm a bit confused by the errors, can't figure out if they come from my changes or not. Don't see where I could have mess things up though...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants